Logic simulation

Results: 497



#Item
61Electronic design / Hardware verification languages / Logic design / Logic simulation / Functional verification / Design closure / E / Formal verification / Application-specific integrated circuit / Electronic engineering / Digital electronics / Electronic design automation

Corporate and Product Overview Real Intent is the leading provider of EDA software to accelerate Early Functional Verification and Advanced Sign-off of digital designs. It provides comprehensive clock-domain crossing ve

Add to Reading List

Source URL: realintent.com

Language: English - Date: 2014-09-10 13:14:55
62Simulation language / Simulation / CDMA Subscriber Identity Module / Scientific modelling / Logic simulation / Deterministic simulation / Electronic engineering / Electronic design automation / Simulation software

CSIM 19™ Product Description www.mesquite.com ■ + ■ Introduction

Add to Reading List

Source URL: www.mesquite.com

Language: English - Date: 2007-12-06 09:58:37
63Metaphysics / Logic simulation / Reality / Perception / Philosophy of perception / Simulation / Philosophy of mind / Mind / Philosophy

Kinematic Analysis of a Space Mechanism—Rendezvous Simulator

Add to Reading List

Source URL: www.abhinavjournal.com

Language: English - Date: 2013-12-17 06:27:56
64Probabilistic complexity theory / Algorithm / Mathematical logic / Randomized algorithm / Ant colony optimization algorithms / Computer simulation / Genetic algorithm / Shortest path problem / Nondeterministic algorithm / Theoretical computer science / Applied mathematics / Mathematics

Microsoft Word - Kneidl_EMEVAC_2011_final.docx

Add to Reading List

Source URL: www.cms.bgu.tum.de

Language: English - Date: 2014-12-18 07:59:00
65Analytic geometry / Catenary / Curves / Exponentials / Computational science / Tensile structure / Logic simulation / Computer simulation / General relativity / Geometry / Engineering / Science

Linking Hanging Chain Models to Fabrication Axel Kilian, Ph.D. Candidate in Computation, Department of Architecture, School of Architecture and Planning, Massachusetts Institute of Technology, Cambridge, MA Abstract The

Add to Reading List

Source URL: www.designexplorer.net

Language: English - Date: 2006-11-19 20:26:29
66Debuggers / Simics / Wind River Systems / Simulation / Logic simulation / Application software / Virtutech / SimOS / System software / Software / Simulation software

Customer Success Simics and Nasa IVV

Add to Reading List

Source URL: www.windriver.com

Language: English - Date: 2015-05-06 06:08:25
67Operations research / Simulation / Driving simulator / Logic simulation / Modeling and simulation / Virtual reality / Network simulation / Hardware-in-the-loop simulation / Electronic engineering / Electronic design automation / Digital electronics

Microsoft Word - Jenkins IMAGE abstract.doc

Add to Reading List

Source URL: image-society.org

Language: English - Date: 2015-03-04 06:22:44
68Accessibility / Operations research / Simulation / Microsoft Excel / Universal design / Logic simulation / Spreadsheet / Visual arts / Design / Digital electronics

http://www.inclusivedesigntoolkit.com/TEST_site/inclusivetools/

Add to Reading List

Source URL: www.inclusivedesigntoolkit.com

Language: English - Date: 2015-05-13 07:43:33
69Modal logic / Philosophical logic / Model theory / Theoretical computer science / Bisimulation / Logic in computer science / Kripke semantics / Epistemic modal logic / Common knowledge / Logic / Mathematical logic / Mathematics

Simulation and information: quantifying over epistemic events Hans van Ditmarsch12⋆ and Tim French3 1 3

Add to Reading List

Source URL: www.csse.uwa.edu.au

Language: English - Date: 2011-03-25 01:18:58
70Electronic design automation / Operations research / Simulation / SimGrid / Network simulation / Emulator / OverSim / Logic simulation / Network emulation / Electronic engineering / Computing / Digital electronics

Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms Henri Casanovaa , Arnaud Gierschb , Arnaud Legrandc , Martin Quinsond , Fr´ed´eric Sutere,f,∗ a Dept. of Information and Compute

Add to Reading List

Source URL: navet.ics.hawaii.edu

Language: English - Date: 2014-08-21 14:54:08
UPDATE